LTL receding horizon control for finite deterministic systems
نویسندگان
چکیده
منابع مشابه
LTL receding horizon control for finite deterministic systems
This paper considers receding horizon control of finite deterministic systems, which must satisfy a high level, rich specification expressed as a linear temporal logic formula. Under the assumption that timevarying rewards are associated with states of the system and these rewards can be observed in real-time, the control objective is tomaximize the collected rewardwhile satisfying the high lev...
متن کاملDistributed Receding Horizon Control of Multiagent Systems
Multiagent systems arise in several domains of engineering. Examples include arrays of mobile sensor networks for aggregate imagery, autonomous highways, and formations of unmanned aerial vehicles. In these contexts, agents are governed by vehicle dynamics and often constraints, and the control objective is achieved by cooperation. Cooperation refers to the agreement of the agents to 1) have a ...
متن کاملUnconstrained receding-horizon control of nonlinear systems
It is well known that unconstrained infinite-horizon optimal control may be used to construct a stabilizing controller for a nonlinear system. In this note, we show that similar stabilization results may be achieved using unconstrained finite horizon optimal control. The key idea is to approximate the tail of the infinite horizon cost-to-go using, as terminal cost, an appropriate control Lyapun...
متن کاملReceding Horizon Networked Control
This paper deals with the design of control systems over lossy networks. A network is assumed to exist between the sensor and the controller and between the latter and the actuator. Packets are dropped according to a Bernoulli independent process, with γ and μ being the probabilities of losing an observation packet and a control packet respectively, at time any instant t. A receding horizon con...
متن کاملReceding Horizon Linear Quadratic Control with Finite Input Constraint Sets
By exploring the geometry of the underlying constrained optimization, a finitely parameterized solution to the discrete time receding horizon linear quadratic control problem with a finite input constraint set is obtained. The resulting controller gives rise to a closed loop system which is piece-wise affine in the plant state. The switching regions are polytopes and are related to those obtain...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 2014
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2013.11.030